\documentclass[]{article}
\usepackage{amsmath,tkz-linknodes}
\usepackage{tikz} 

%\usepackage[graphics,tightpage,active]{preview}
%\PreviewEnvironment{NodesList}
\newlength{\imagewidth}
\newlength{\imagescale}

\input{common}

\begin{document}
\thispagestyle{empty}
        \begin{NodesList}[margin=2.5cm] 
\begin{align*}
  {\alpha}[\Box({\phi}{\rightarrow}{\psi})]={\alpha} &
  {\Longleftrightarrow}{\alpha}[{\phi}{\rightarrow}{\psi}]={\alpha}\AddNode \\
  &
  {\Longleftrightarrow}{\alpha}[{\neg}({\phi}{\wedge}{\neg}{\psi})]={\alpha}\AddNode \\
  &
  {\Longleftrightarrow}{\alpha}{\sqcap}{\sim}{\alpha}[{\phi}{\wedge}{\neg}{\psi}]={\alpha}\AddNode
  \\
  \\
  & {\Longleftrightarrow}{\alpha}[{\phi}{\wedge}{\neg}{\psi}]=\mathbf{0}\AddNode \\
  & {\Longleftrightarrow}{\alpha}[{\phi}][{\neg}{\psi}]=\mathbf{0}\AddNode \\
  &
  {\Longleftrightarrow}{\alpha}[{\phi}]{\sqcap}{\sim}{\alpha}[{\phi}][{\psi}]=\mathbf{0}\AddNode
  \\
  \\
  & {\Longleftrightarrow}{\alpha}[{\phi}][{\psi}]={\alpha}[{\phi}]\AddNode \\
  & {\Longleftrightarrow}{\alpha}[{\phi}\gillies{\psi}]={\alpha} \AddNode
\end{align*}

 \tikzset{LabelStyle/.append style = {\myside}
            ,ArrowStyle/.append style = {draw=\mydraw}
           }
\LinkNodes{Definition}
\LinkNodes{Definition}
\LinkNodes{\hspace{-8pt}
\begin{tabular}{l}
  General reflection, \\ 
                 Boolean algebra
\end{tabular}}
\LinkNodes{ $\wedge$-exportation}
\LinkNodes{Definition}
\LinkNodes{\hspace{-8pt}
\begin{tabular}{l}
  General reflection, \\ 
                 Boolean algebra
\end{tabular}}
\LinkNodes{Definition}

   \end{NodesList}
\end{document}